Tag 'note:official_name = Wird 2017-12-10 umbenannt in 'Berlin Jungfernheide''

Value histogram for key 'name'

• 1: Berlin Jungfernheide

---

Quelle / Ursprung dieser Information: OpenStreetmap